#include <timer.h>
#include <console.h>
#include <idt.h>
#include <panic.h>
#include <printk.h>
#include <memory.h>
#include <string.h>
#include <thread.h>

void k_thread_a(void *);

void init_all()
{
	init_cursor();
	idt_init();
	timer_init(20);
	mem_init();
}

int kernel_main()
{
	init_all();
	thread_start("k_thread_a", 31, k_thread_a, "argA ");
	while(1);
	return 0;
}

void k_thread_a(void *arg)
{
	char *para = arg;
	while(1) {
		printk(para);
	}
}